$\forall$$i$:Id, $d$:OutDecl($i$), $p$:(IdLnk$\times$Id). $d$($p$) $\in$ Type